#include "user.h"

#ifndef _TIMER_H__
#define	_TIMER_H__

void create_task_timer(int ms);

void create_ir_timer(int ms);
#endif
